Temps musical et temps social au Yémen

Au temps en emporte le C

Le (bon) séquencement des événements au fil du temps est un sujet important pour l’analyse de programmes, par exemple dans le cadre de protocoles d’échange d’information ou de systèmes embarqués. De nombreux travaux s’appuient sur la logique temporelle linéaire (LTL) pour décrire formellement le comportement attendu d’un programme, sous la forme d’une succession d’actions distinctes. Implanté a...

Architecture multi-coeurs et temps d'exécution au pire cas. (Multicore architectures and worst-case execution time)

Critical tasks in the context of real-time systems submit to both timing and correctness constraints. Whence, the validation of a real-time system rely on the estimation of its tasks’ Worst case execution times. Resource sharing, as it occurs on multicore architectures, hinders the computation of such estimates. The timing behaviour of a task is impacted by its concurrents, whether because of r...

Les temps du document et la recherche d'information

This article presents a survey of the interactions between information retrieval and temporal aspects of documents. First the time evoked by the discourse and the historic situation time of the documents themselves are distinguished. The universe of discourse time should be taken into account in the indexation step of information retrieval. It can be processed by named entities extraction and m...

Contributions à l'ordonnancement et l'analyse des systèmes temps réel critiques

Automates temporisés et systèmes multi-agents temps-réel

RÉSUMÉ. La conception de systèmes réactifs répond à des impératifs de correction logique (le système fait ce qu’il doit) et de correction temporelle (le système se conforme à un ensemble de contraintes temporelles). Nous proposons dans cet article une approche globale de conception de systèmes réactifs adaptatifs, c’est-à-dire adaptant dynamiquement leur architecture en fonction du contexte. Po...